Beyond admissibility: accepting cycles in argumentation with game protocols for cogency criteria
نویسندگان
چکیده
In this paper we extend Dung’s formal approach from admissibility to less demanding extension semantics allowing arguments in cycles of attacks. We present an acceptance criterion leading to the characterization of three semantics called pairwise cogency, weak cogency and cyclic cogency. Particular gametheoretic protocols allow us to identify winning strategies with extensions in different semantics. Furthermore, an algorithmic characterization of those games exhibits clearly how self-attacking or in odd-length cycles of attack can be rationally managed beyond the limits of admissibility.
منابع مشابه
Desiderata for Agent Argumentation Protocols (Tracking number 215)
Designers of agent communications protocols are increasingly using formal dialogue games, adopted from argumentation theory, as the basis for structured agent interactions. We propose a set of desiderata for such protocols, drawing on recent research in agent interaction, on recent criteria for assessment of automated auction mechanisms and on elements of argumentation theory and political scie...
متن کاملTwo approaches to the problems of self-attacking arguments and general odd-length cycles of attack
The problems that arise from the presence of self-attacking arguments and odd-length cycles of attack within argumentation frameworks are widely recognized in the literature on defeasible argumentation. This paper introduces two simple semantics to capture different intuitions about what kinds of arguments should become justified in such scenarios. These semantics are modeled upon two extension...
متن کاملArgumentation Semantics for Prioritised Default Logic
We endow prioritised default logic (PDL) with argumentation semantics using the ASPIC framework for structured argumentation, and prove that the conclusions of the justified arguments are exactly the prioritised default extensions. Argumentation semantics for PDL will allow for the application of argument game proof theories to the process of inference in PDL, making the reasons for accepting a...
متن کاملAssumption-Based Argumentation for Communicating Agents
Assumption-Based Argumentation (ABA), and to a large extent argumentation in general, up to now has been considered in a single-agent setting. ABA, in particular, is such that an agent engages in a dispute (dialectic proof procedure) with itself (an imaginary opponent) to decide whether a claim is acceptable according to some acceptability criteria. We present in this paper a generalised proof ...
متن کاملPrioritised Default Logic as Rational Argumentation
We endow Brewka’s prioritised default logic (PDL) with argumentation semantics using the ASPIC framework for structured argumentation. We prove that the conclusions of the justified arguments correspond to the prioritised default extensions in a normatively rational manner. Argumentation semantics for PDL will allow for the application of argument game proof theories to the process of inference...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. Log. Comput.
دوره 26 شماره
صفحات -
تاریخ انتشار 2016